Logical framework - PDFSEARCH.IO - Document Search Engine

Logical framework
Results: 288

#	Item
151	Enablement Monitoring and Evaluation Tools for monitoring and evaluation Huib Cornielje 6th of December 2012 Add to Reading List Source URL: www.apminebanconvention.org Language: English - Date: 2014-05-07 04:13:36 Performance indicator Business Management Logical framework approach Project management
152	<32332D312028C3D6C1BE292044454550BCBAB0FAB0FCB8AE5FBFB5B9AE5F66696E616C2E687770> Add to Reading List Source URL: www.oecd.org Language: English - Date: 2014-09-23 11:43:06 Methodology Impact assessment Program evaluation Logic model United States Agency for International Development Systems engineering process Logical framework approach Case study Evaluation methods Evaluation Science
153	A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines Alberto Momigliano Laboratory for the Foundations of Computer Science University of Edinburgh Joint work with Jeff Pola Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-08 05:08:56 Type theory Logic in computer science Reasoning Mathematical logic Epistemology Logic programming Prolog Logical framework Twelf Logic Mathematics Programming language theory
154	Characteristic Formulae for Fixed-Point Semantics: A General Framework∗ Luca Aceto Anna Ingolfsdottir Add to Reading List Source URL: www.ru.is Language: English - Date: 2009-06-14 06:08:27 Metalogic Binary operations Model theory Propositional calculus Bisimulation Logical equivalence Interpretation If and only if Entailment Logic Mathematics Mathematical logic
155	Abstract We describe a framework for linking together a structured ontology, deductive logic, and probability, Add to Reading List Source URL: www.cyc.com Language: English - Date: 2013-01-04 15:21:01 Theoretical computer science Artificial intelligence Logical consequence Reasoning Programming paradigms Cyc Markov logic network Probabilistic logic First-order logic Logic Science Knowledge
156	Fiji Health Sector Improvement Program (FHSIP) Aid Works Activity number INF 391 Independent Completion Report Dr Paul Freeman Dr Ross Sutton Add to Reading List Source URL: oecd.org Language: English - Date: 2014-07-21 00:54:52 Logical framework approach Health information management Health promotion Health AusAID Mott MacDonald
157	Logical Framework Implementing Partner: Memorandum of Agreement Number: Add to Reading List Source URL: www.lift-fund.org Language: English
158	證書課程（只提供英文版） Project Management in Development Work for NGOs 社會服務機構援助及發展計劃項目管理課程 Introduction Add to Reading List Source URL: ngomanager.org Language: English - Date: 2013-09-11 11:40:14 Business Technology Software development process Evaluation Project manager Development management Project management Management Logical framework approach
159	A Probabilistic-Logical Framework for Ontology Matching Mathias Niepert, Christian Meilicke, Heiner Stuckenschmidt KR & KM Research Group, Universit¨at Mannheim, Germany {mathias, christian, heiner}@informatik.uni-mannh Add to Reading List Source URL: publications.wim.uni-mannheim.de Language: English - Date: 2012-02-13 18:02:45 Knowledge representation Science Ontology Semantic Web Ontology alignment Description logic Schema matching Frame language Information Information science Knowledge engineering
160	Annex 1) Logical Framework Intervention logic Indicators Describe the objectives of the action in an (objectively) verifiable and measurable manner. Define (SMART) how and based on what evidence the actual occurrence of Add to Reading List Source URL: www.entwicklung.at Language: English - Date: 2013-02-19 09:43:55

UPDATE